#include<stdio.h>
int main()
{
	int a = 3, b = 4, c = 6;
	int d = a + b + c;
	printf("%d %.1f\n" ,d,d/3.0);
	return 0;
}

